亲合层析SELEX法筛选相思子毒素寡核苷酸适配子

报道了采用亲和树脂法对相思子毒素蛋白进行反复的SELEX筛选,获得与靶物质结合率这32．5％的富集文库,并克隆得到了单克隆适配子序列,软件模拟了这些序列的二级结构,选择部分序列选择性剪切后利用荧光偏振方法进行检测,对靶蛋白的检测限达到亚nmol量。     

略论思想政治工作中的形象思维

在思想政治工作实践中 ,作为重要的非理性思维因素在工作主体的思维方式中是大量存在的 ,并且可以“配合”理性思维 ,促进思想政治工作的有效运行。本文分析了形象思维在工作主体思维方式中的地位 ,阐述了在思想政治工作中形象思维的过程、特征及其积极意义与作用     

论东北战场1947年夏季攻势

全国解放战争时期，东北战场最先揭开战略反攻序幕，民主联军从吉林以东、长春以西、郑家屯以北、梅河口以南及辽南、热西、冀东等七个重点方向上同时发动进攻，其势如潮涌，纵横关内外。大战结果，民主联军于战略上贯通南北满，一举扭转东北战局，开始掌握战场主动权，迫使东北国民党军转入战略防御，有力地支援了关内战场作战。     

中世纪外国军事思想初探

军事思想是人们对战争、军队和国防的基本问题的理性认识。研究和总结人类各个时期军事思想的历史发展和特点,是对军事领域问题探讨的过程之一,是人类在军事领域自我认知的手段和途径,是超越自我、实现突破的必经之路。中世纪世界军事思想在特定的历史条件下.经历了一个缓慢的历史演变过程,其战争观、军队建设和战略战术思想有了较大的发展,呈现出缓慢性、演进性和多元性的特征。     

社会主义核心价值体系建设路径的当代开拓

社会主义核心价值体系要在实践中真正成为人民群众的行动指南,必须努力开拓其现实化的具体途径.坚持社会主义核心价值体系的科学引领力,可以筑牢当代革命军人核心价值观培育的思想道德基础;发挥当代革命军人核心价值观的巨大推动力,可以拓展社会主义核心价值体系建设的崭新生长点;注重"二力"并发,对促进中华民族共有精神家园建设具有重要价值.     

基于功能-原理-行为-结构的产品模块化设计方法

把机械产品的迭代设计分解拓扑模型与模块化设计方法相结合,提出了基于功能-原理-行为-结构的机械产品模块化设计方法.主要讨论了基于功能-原理-行为-结构的产品迭代设计分解原理;分析了设计分解过程中功能→原理←→行为→结构→功能的演进的纵向迭代过程;探讨了产品设计分解的横向动态建模方法;产品迭代设计分解过程引入模块化方法,建立了基于功能-原理-行为-结构的复杂机械系统模块化设计基本方法.     

某型子母弹子弹稳定带参数筛选技术分析

本文以某型子母弹子弹研制过程中遇到的问题为背景,分析了子母弹子弹稳定带对子弹落姿和可靠性影响,通过机理分析和试验验证得出了稳定带参数优化调整方案,对相关产品优化设计及技术改进有一定借鉴意义。     

提升当代革命军人核心价值观培育的针对性思想性科学性

进一步增强当代革命军人核心价值观培育的效果,要着眼增强培育工作的针对性,努力实现从自发到自觉的转变;着眼增强培育工作的思想性,努力实现从感性到理性的升华;着眼增强培育工作的科学性,努力实现从零碎到系统的集成.     

Balancing a one‐way corridor capacity and safety‐oriented reliability: A stochastic optimization approach for metro train timetabling

In urban rail transit systems of large cities, the headway and following distance of successive trains have been compressed as much as possible to enhance the corridor capacity to satisfy extremely high passenger demand during peak hours. To prevent train collisions and ensure the safety of trains, a safe following distance of trains must be maintained. However, this requirement is subject to a series of complex factors, such as the uncertain train braking performance, train communication delay, and driver reaction time. In this paper, we propose a unified mathematical framework to analyze the safety‐oriented reliability of metro train timetables with different corridor capacities, that is, the train traffic density, and determine the most reliable train timetable for metro lines in an uncertain environment. By employing a space‐time network representation in the formulations, the reliability‐based train timetabling problem is formulated as a nonlinear stochastic programming model, in which we use 0‐1 variables to denote the time‐dependent velocity and position of all involved trains. Several reformulation techniques are developed to obtain an equivalent mixed integer programming model with quadratic constraints (MIQCP) that can be solved to optimality by some commercial solvers. To improve the computational efficiency of the MIQCP model, we develop a dual decomposition solution framework that decomposes the primal problem into several sets of subproblems by dualizing the coupling constraints across different samples. An exact dynamic programming combined with search space reduction strategies is also developed to solve the exact optimal solutions of these subproblems. Two sets of numerical experiments, which involve a relatively small‐scale case and a real‐world instance based on the operation data of the Beijing subway Changping Line are implemented to verify the effectiveness of the proposed approaches.